Directing JavaScript with arrows
نویسندگان
چکیده
منابع مشابه
Inferring Types for Asynchronous Arrows in JavaScript
Asynchronous programming with callbacks in JavaScript leads to code that is difficult to understand and maintain. Arrows, a generalization of monads, are an elegant solution to asynchronous program composition. Unfortunately, improper arrow composition can cause mysterious failures with subtle sources. We present an arrows-based DSL in JavaScript which encodes semantics similar to ES6 Promises ...
متن کاملTyping and semantics of asynchronous arrows in JavaScript
Asynchronous programs in JavaScript using callbacks and promises are di cultto write correctly. Many programs have subtle errors due to the unwantedinteraction of event handlers. To x such errors, the programmer is burdenedwith explicit registration and de-registration of event handlers. This producesfragile code which is di cult to read and maintain.Arrows, a generalization...
متن کاملa-Logic With Arrows
We present an extension of first-order predicate logic with a novel predicate ‘at t’ meaning intuitively “this term is a variable symbol”. We give simple sequent proof-rules for it, we demonstrate cut-elimination for the resulting logic, and we give a semantics for which the logic is sound and complete. Because we can now make assertions about what would normally be considered an intensional pr...
متن کاملProgramming with Arrows
ly, we think of the inputs and outputs of simulation arrows as signals, which are piecewise constant functions from time to values. Times may be any real number:
متن کاملHardware Design with Generalized Arrows
Instances of the GArrow type class (Figure 2) are called generalized arrows. The GArrow class generalizes Control.Arrow by allowing any type-level monoid to take the place of the cartesian product (,) and by replacing arr with the “structural” functions usually defined in terms of it. Multi-level terms with environment classifier types [TN03] may be flattened into single-level terms parameteriz...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM SIGPLAN Notices
سال: 2009
ISSN: 0362-1340,1558-1160
DOI: 10.1145/1837513.1640143